Это состояние удовлетворяет такому предусловию:

с подстановкой {p/P1,from/JFKfto/SFO} (кроме всего прочего; см. упр. 11.2). Поэтому конкретное действие Fly(P1, JFK, SFO) является применимым.

Начиная с состояния s, результатом выполнения применимого действия а является состояние s', представляющее собой то же самое, что и s, за исключением того, что любой положительный литерал Ρ в результате а добавляется к s', а любой отрицательный литерал удаляется из s'. Таким образом, после выполнения действия показанное выше текущее состояние принимает вид

Следует отметить, что если какой-то положительный результат уже находится в состоянии s, то не добавляется повторно, а если какой-то отрицательный результат отсутствует в состоянии s, эта часть результата игнорируется. Такое определение воплощает в себе так называемое предположение Strips, что каждый литерал, не упомянутый в результате, остается неизменным. Благодаря этому язык Strips позволяет избежать возникновения проблемы представительного окружения, описанной в главе 10.

Наконец, можно определить решение для задачи планирования. В своей простейшей форме это всего лишь последовательность действий, которая, будучи выполненной в начальном состоянии, приводит к состоянию, удовлетворяющему цели. Далее в этой главе будет показано, как обеспечить возможность использовать решение, представляющее собой частично упорядоченные множества действий, при условии, что каждая последовательность действий, которая отвечает этому частичному упорядочению, является решением.